// Agent sample_agent in project aspirador

/* Initial beliefs and rules */


/* Initial goals */

!check(1, 2, 0).

/* Plans */

+pos(R, X, Y) : not empecilho(P) & not em_cima(P) <- !check(R,X,Y).

+pos(R, X, Y) : empecilho(P) & em_cima(P) <- aspirar(P); !check(R, X, Y).

+pos(R, X, Y) : em_cima(P) <- aspirar(P); !check(R, X, Y).

+pos(R, X, Y) : empecilho(P) & not em_cima(P) <- !direcao_empecilho(P).

+!check(R, X, Y) : empecilho(P) <- !direcao_empecilho(P).

+!check(R, X, Y) : not empecilho(P) <- next(R, X, Y).

+!direcao_empecilho(P) <- ?pos_empecilho(R1,X1,Y1); mover(R1,X1,Y1).

	 	